大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Conference on Anomalous Scattering 的图书(共5655本)

Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

0
索取号：
作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

0
索取号：
作者：Harju、 Tero.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Techniques for Networked and Distributed Systems-FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

0
索取号：
作者：Derrick、 John.、Vain、 J眉ri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction. Interaction Platforms and Techniques [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

0
索取号：
作者：Concas、 Giulio.、Damiani、 Ernesto.、Scotto、 Marco.、Succi、 Giancarlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

0
索取号：
作者：Olivetti、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Petri Nets and Other Models of Concurrency-ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

0
索取号：
作者：Kleijn、 Jetty.、Yakovlev、 Alex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

0
索取号：
作者：Aspnes、 James.、Scheideler、 Christian.、Arora、 Anish.、Madden、 Samuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

User Modeling 2007 [electronic resource] : 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings

0
索取号：
作者：Conati、 Cristina.、McCoy、 Kathleen.、Paliouras、 Georgios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Veanes、 Margus.、Tretmans、 Jan.、Grieskamp、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Nature Inspired Problem-Solving Methods in Knowledge Engineering [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bio-inspired Modeling of Cognitive Tasks [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.